141![Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK](https://www.pdfsearch.io/img/3c964b828a923a72677c2faab5b5fed8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-10-06 19:34:00
|
---|
142![Revisiting Question Answering in Vampire Giles Reger School of Computer Science, University of Manchester, UK The 4th Vampire Workshop Revisiting Question Answering in Vampire Giles Reger School of Computer Science, University of Manchester, UK The 4th Vampire Workshop](https://www.pdfsearch.io/img/b275e4cd161c74bc55e6c7059fe84ce0.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 02:42:18
|
---|
143![On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud](https://www.pdfsearch.io/img/7e5be51973e289726ff2cf6c42a95e14.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-06-19 11:02:11
|
---|
144![Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607](https://www.pdfsearch.io/img/52239a432ecb65898a9eabf36796b5f9.jpg) | Add to Reading ListSource URL: cims.nyu.eduLanguage: English - Date: 2015-11-01 13:02:43
|
---|
145![Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece](https://www.pdfsearch.io/img/be1f7a907ab50dbcf83b29b2506c3f90.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:48
|
---|
146![Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED Dr. Markus Völter (Voelter) Born February 14, 1974, in Heidenheim/Brenz, Germany Degrees Dipl. Ing. (FH) Physikalische Technik (Physics Engineering) PhD in Computer Science LAST CHANGED](https://www.pdfsearch.io/img/11725196f74c45f07383d6d25037145f.jpg) | Add to Reading ListSource URL: www.voelter.deLanguage: English - Date: 2018-05-23 13:30:47
|
---|
147![Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA](https://www.pdfsearch.io/img/4c1c9aad5d39da318856d48c2062c37c.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:34:48
|
---|
148![Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/e3f4eb1a6c85a37de52c8baa190f1f89.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2008-02-05 14:26:41
|
---|
149![Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni](https://www.pdfsearch.io/img/8a53c7ac9eb958e7d585347751917144.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:43
|
---|
150![Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks. Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.](https://www.pdfsearch.io/img/d07046fe73342bc07714e41a6990338d.jpg) | Add to Reading ListSource URL: taktoa.meLanguage: English - Date: 2018-03-28 11:19:15
|
---|